#! /bin/csh
setenv AUTOHEADER 'echo SkippingAutoHeader'
autoreconf -i -f -v
